package expression;

import java.util.ArrayList;
import java.util.List;

import choco.integer.IntExp;

import common.MCore;


public abstract class MIntExprCst extends MIntExpr {

	public MIntExprCst(MCore c) {
		super(c);
	}

	public abstract int compute();
	
	public IntExp intExp() {
		return getCore().getProblem().plus(compute(), getCore().getProblem().ZERO);
	}
	
	public String toText() {
		return "" + compute();
	}
	
	public List<MIntVar> getVariables() {
		return new ArrayList<MIntVar>();
	}
}
